Formal methods for real-time computing

Författare
(Edited by Constance Heitmeyer and Dino Mandrioli.)
Språk
Engelska
Förlag År Ort Om boken ISBN
Wiley c1996 Storbritannien, Chichester xvii,271p ill 25cm